The semantics of programming languages: An elementary introduction using structural operational semantics

Semantics of programming languages - an elementary introduction using structural operational semantics

Games In The Semantics Of Programming Languages - An Elementary Introduction

Mathematical models are an important tool in the development of software technology, including programming languages and algorithms. During the last few years, a new class of such models has been developed based on the notion of a mathematical game that is especially well-suited to address the interactions between the components of a system. This paper gives an introduction to these game-semant...

Bialgebras for structural operational semantics: An introduction

Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of Structural Operational Semantics. This papers aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area.

Relaxed Operational Semantics of Concurrent Programming Languages

We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a “temporary store” where the memory operations issued by the threads are recorded, in program order. A memory model then specifies the conditions under which a pending operation from this sequence is allowed to be globa...

The formal semantics of programming languages - an introduction

Feel lonely? What about reading books? Book is one of the greatest friends to accompany while in your lonely time. When you have no friends and activities somewhere and sometimes, reading book can be a great choice. This is not only for spending the time, it will increase the knowledge. Of course the b=benefits to take will relate to what kind of book that you are reading. And now, we will conc...